maximal free expression (MFE) A {free expression} is sub-expression of a lambda abstraction not containing the bound variable. A maximal free expression is a free expression not contained within any other free expression. See full laziness.
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.